#include <arch.h>
#include <types.h>

extern int main();


uint64_t 
arch_mem_total()
{
	
	return 10000;
}

uint8_t 
arch_init()
{

	return 0;
}


void 
arch_shutdown()
{

}



void 
arch_reboot()
{


}


void 
arch_standby()
{


}


void 
_start()
{
	main();	
}
